how to know file size in python